<html>
<head><meta charset="utf-8"><title>meeting 2020.03.03 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html">meeting 2020.03.03</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="189627864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189627864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189627864">(Mar 03 2020 at 19:54)</a>:</h4>
<p>an early <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="189628399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189628399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189628399">(Mar 03 2020 at 19:59)</a>:</h4>
<p>as mentioned in last week's topic, I updated the <a href="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view" target="_blank" title="https://hackmd.io/CjYB0fs4Q9CweyeTdKWyEg?view">ui test analysis document</a> I said I'd do</p>



<a name="189628557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189628557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189628557">(Mar 03 2020 at 20:01)</a>:</h4>
<p>(I also managed to find <a href="https://hackmd.io/wGwGGRCKStiWBq9voP4e2A" target="_blank" title="https://hackmd.io/wGwGGRCKStiWBq9voP4e2A">the braindump/roadmapesque document</a> I said I'd find, but didn't yet manage to update it though)</p>



<a name="189628591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189628591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189628591">(Mar 03 2020 at 20:01)</a>:</h4>
<p>the update to polonius 0.12 landed earlier <a href="https://github.com/rust-lang/rust/issues/69482" target="_blank" title="https://github.com/rust-lang/rust/issues/69482">#69482</a></p>



<a name="189628761"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189628761" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189628761">(Mar 03 2020 at 20:03)</a>:</h4>
<p>the bit of bad news is I think move errors are buggy in polonius, at some point I was wondering whether it was related to fact generation in this PR, but deactivating what I think were the different facts not related to renaming didn't seem to change much</p>



<a name="189628829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189628829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189628829">(Mar 03 2020 at 20:04)</a>:</h4>
<p>(that's why I also didn't close the PR per se, I haven't been able to investigate but I think it's in polonius)</p>



<a name="189628983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189628983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189628983">(Mar 03 2020 at 20:05)</a>:</h4>
<p>That would make sense to me</p>



<a name="189628999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189628999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189628999">(Mar 03 2020 at 20:05)</a>:</h4>
<p>the 3 "maybe-initialized" tests are part of it, but I've also seen move errors in our polonius inputs which shouldn't have any</p>



<a name="189629005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629005">(Mar 03 2020 at 20:05)</a>:</h4>
<p>That there's something wrong with the rules</p>



<a name="189629026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629026">(Mar 03 2020 at 20:05)</a>:</h4>
<p>Ok, that's concerning</p>



<a name="189629034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629034">(Mar 03 2020 at 20:05)</a>:</h4>
<p>Clearly I didn't test well enough</p>



<a name="189629066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629066">(Mar 03 2020 at 20:05)</a>:</h4>
<p>(that could be related to facts but I don't think so)</p>



<a name="189629133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629133">(Mar 03 2020 at 20:06)</a>:</h4>
<p>even though I'm not sure at all and haven't been able to investigate so it's probably not wise to speculate :)</p>



<a name="189629240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629240">(Mar 03 2020 at 20:07)</a>:</h4>
<p>(despite my limited ability to work outside lunch break at work, I had been working on another thing which I was excited about but trying placeholder loans destroyed it as well — all in all I don't like placeholder loans as much as when I thought we wouldn't need to materialize them at all points in the cfg :)</p>



<a name="189629262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629262">(Mar 03 2020 at 20:07)</a>:</h4>
<p>wave</p>



<a name="189629342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629342">(Mar 03 2020 at 20:08)</a>:</h4>
<p>the move errors false positives are probably easier to find than the maybe-initialized lack of errors, since we kinda only have why-provenance and not why-not provenance :)</p>



<a name="189629500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629500">(Mar 03 2020 at 20:10)</a>:</h4>
<p>and of course we'd still need to make rustc emit them, which would be the easiest way to test move errors, really</p>



<a name="189629505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629505">(Mar 03 2020 at 20:10)</a>:</h4>
<p>I'm skimming this ui test analysis document</p>



<a name="189629521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629521">(Mar 03 2020 at 20:10)</a>:</h4>
<p>start at <a href="https://github.com/rust-lang/rust/issues/34" target="_blank" title="https://github.com/rust-lang/rust/issues/34">#34</a></p>



<a name="189629525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629525">(Mar 03 2020 at 20:10)</a>:</h4>
<p>the rest are older</p>



<a name="189629586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629586">(Mar 03 2020 at 20:11)</a>:</h4>
<p>woah :)</p>



<a name="189629587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629587">(Mar 03 2020 at 20:11)</a>:</h4>
<p>ok</p>



<a name="189629590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629590">(Mar 03 2020 at 20:11)</a>:</h4>
<p>(I should have updated it earlier sorry, just subset errors changed things a bit, and involved more closures, I've tried to add most new ones)</p>



<a name="189629654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629654">(Mar 03 2020 at 20:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116113">lqd</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E03.2E03/near/189628999" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E03.2E03/near/189628999">said</a>:</p>
<blockquote>
<p>the 3 "maybe-initialized" tests are part of it, but I've also seen move errors in our polonius inputs which shouldn't have any</p>
</blockquote>
<p>so 36-38</p>



<a name="189629673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629673">(Mar 03 2020 at 20:12)</a>:</h4>
<p>is maybe where I should start?</p>



<a name="189629685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629685">(Mar 03 2020 at 20:12)</a>:</h4>
<p>I think those are move errors bugs</p>



<a name="189629697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629697">(Mar 03 2020 at 20:12)</a>:</h4>
<p>you probably shouldn't bother with this document with your limited time :)</p>



<a name="189629727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629727">(Mar 03 2020 at 20:13)</a>:</h4>
<p>maybe so :) but it seems like the <em>bug</em> here is mostly 38, right?</p>



<a name="189629732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629732">(Mar 03 2020 at 20:13)</a>:</h4>
<p>although <a href="https://github.com/rust-lang/rust/issues/41" target="_blank" title="https://github.com/rust-lang/rust/issues/41">#41</a> and others are "interesting"</p>



<a name="189629735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629735">(Mar 03 2020 at 20:13)</a>:</h4>
<p>I don't think so no</p>



<a name="189629758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629758">(Mar 03 2020 at 20:13)</a>:</h4>
<p>I think the lack of error in 38 invalidates 36 and 37</p>



<a name="189629824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629824">(Mar 03 2020 at 20:14)</a>:</h4>
<p>if there's no error to fix, there's no "unexpected pass" is what I thought, but I'll need to investigate those :)</p>



<a name="189629846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629846">(Mar 03 2020 at 20:14)</a>:</h4>
<p>(and maybe the false positives elsewhere are an easier way to find issues in the rules, if there are any)</p>



<a name="189629996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189629996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189629996">(Mar 03 2020 at 20:16)</a>:</h4>
<p>well</p>



<a name="189630005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630005">(Mar 03 2020 at 20:16)</a>:</h4>
<p>I mean what you're saying is</p>



<a name="189630018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630018">(Mar 03 2020 at 20:16)</a>:</h4>
<p>fixing 38 may mean we start giving errors for 36/37</p>



<a name="189630031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630031">(Mar 03 2020 at 20:16)</a>:</h4>
<p>but none the less 38 is the one giving the output that we don't expect presently, right?</p>



<a name="189630046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630046">(Mar 03 2020 at 20:16)</a>:</h4>
<p>yeah</p>



<a name="189630065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630065">(Mar 03 2020 at 20:17)</a>:</h4>
<p>all 3 are unexpected</p>



<a name="189630102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630102">(Mar 03 2020 at 20:17)</a>:</h4>
<p>it could be something minor for sure</p>



<a name="189630249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630249">(Mar 03 2020 at 20:19)</a>:</h4>
<p>For example an off-by-one in overlaps</p>



<a name="189630275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630275">(Mar 03 2020 at 20:19)</a>:</h4>
<p>I.e. confusion about at/before semantics</p>



<a name="189630343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630343">(Mar 03 2020 at 20:20)</a>:</h4>
<p>It's not as if I haven't messed that up before</p>



<a name="189630373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630373">(Mar 03 2020 at 20:20)</a>:</h4>
<p>so Niko do you want to unschedule this meeting soon and try to move to a more periodic work week ? I presume pushing move errors over the finish could be a topic :) (if we haven't managed to find the issue by then ofc)</p>



<a name="189630406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630406">(Mar 03 2020 at 20:20)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> I'll try to look for it as well, these are pretty subtle sometimes (and I know very little about it)</p>



<a name="189630443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630443">(Mar 03 2020 at 20:21)</a>:</h4>
<p>(also comparing 0.11 and 0.12 could lead to clues, even after our renaming)</p>



<a name="189630586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630586">(Mar 03 2020 at 20:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116113">lqd</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E03.2E03/near/189630373" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/meeting.202020.2E03.2E03/near/189630373">said</a>:</p>
<blockquote>
<p>so Niko do you want to unschedule this meeting soon and try to move to a more periodic work week ? I presume pushing move errors over the finish could be a topic :) (if we haven't managed to find the issue by then ofc)</p>
</blockquote>
<p>I think that's probably a good idea</p>



<a name="189630590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630590">(Mar 03 2020 at 20:23)</a>:</h4>
<p>the question is what frequency to use for periodic work weeks</p>



<a name="189630596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630596">(Mar 03 2020 at 20:23)</a>:</h4>
<p>I'll try to look for this this week, and will report asynchronously if I find anything Albin, I know you're pretty busy as well</p>



<a name="189630603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630603">(Mar 03 2020 at 20:23)</a>:</h4>
<p>(and definitely y'all should feel free to keep working even if I'm not paying attention)</p>



<a name="189630656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630656">(Mar 03 2020 at 20:24)</a>:</h4>
<p>sure</p>



<a name="189630706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630706">(Mar 03 2020 at 20:24)</a>:</h4>
<p>as to frequency, I'm not sure :)</p>



<a name="189630738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630738">(Mar 03 2020 at 20:25)</a>:</h4>
<p>most of this depends a lot on y'all schedules</p>



<a name="189630827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630827">(Mar 03 2020 at 20:26)</a>:</h4>
<p>(that is, I'd probably take some vacation days for that)</p>



<a name="189630877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630877">(Mar 03 2020 at 20:27)</a>:</h4>
<p>I think maybe we should look to April</p>



<a name="189630892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189630892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189630892">(Mar 03 2020 at 20:27)</a>:</h4>
<p>April sounds good</p>



<a name="189631033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189631033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189631033">(Mar 03 2020 at 20:29)</a>:</h4>
<p>(I might try to prototype moving away from placeholder loans, they're killing me :)</p>



<a name="189631150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189631150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189631150">(Mar 03 2020 at 20:30)</a>:</h4>
<p>April sounds good for me too, I think</p>



<a name="189631169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189631169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189631169">(Mar 03 2020 at 20:30)</a>:</h4>
<p>in any case, no need to settle on a work week date tonight, tentatively around April, if that's alright with you 2 (I know you both have little time) and we'll see how things progress until then</p>



<a name="189631327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189631327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189631327">(Mar 03 2020 at 20:32)</a>:</h4>
<p>btw if that's all we wanted to cover, we're at 30mins, if so, thanks a lot for your time, and have a good afternoon/evening :)</p>



<a name="189631374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202020.03.03/near/189631374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202020.2E03.2E03.html#189631374">(Mar 03 2020 at 20:33)</a>:</h4>
<p>(I'll still be here)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>